A Quantum Circuit Model in Axiomatic Metaphysics
نویسندگان
چکیده
Assuming that: (1) the Quantum Mechanics is true, (2) the Copenhagen Interpretation of QM is right, and (3) that God (Mind) exists, we prove formally the possibility of miracles through God affecting the results of quantum measurements. Quantum Measurement clearly separates the domain of physics as a formal material system and the possible God’s intervention in it. We use the formalism of quantum circuits to design simple conceptual robots with various behaviors and we compare their behavior in standard Copenhagen Interpretation with truly random measurement and our immaterial interpretation of QM that introduces God-influenced measurements. Quantum measurement is presented as the only necessary mechanism that God uses to interact continuously with the Universe.
منابع مشابه
بررسی دینامیک کوانتومی مدارهای الکتریکی مزوسکوپی با بار گسسته
The quantum dynamics of a charged particle in an infinite chain of single-state quantum wells, in tight-binding approximation and under the action of an arbitrary time-dependent external field is investigated. The connection between the Hamiltonian description of this model and the Hamiltonian of a discrete-charge mesoscopic quantum circuit is elucidated. Based on this connection, the persist...
متن کاملSteps Toward a Computational
In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-ord...
متن کاملSteps Toward a Computational Metaphysics
In this paper, the authors describe their initial investigations in computational metaphysics. Our method is to implement axiomatic metaphysics in an automated reasoning system. In this paper, we describe what we have discovered when the theory of abstract objects is implemented in prover9 (a first-order automated reasoning system which is the successor to otter). After reviewing the second-ord...
متن کاملEfficient Genetic Based Methods for Optimizing the Reversible and Quantum Logic Circuits
Various synthesis methods have been proposed in the literature for reversible and quantum logic circuits. However, there are few algorithms to optimize an existing circuit with multiple constraints simultaneously. In this paper, some heuristics in genetic algorithms (GA) to optimize a given circuit in terms of quantum cost, number of gates, location of garbage outputs, and delay, are proposed. ...
متن کاملMetaphysics, Metamathematics and Metabiology
In this essay we present an information-theoretic perspective on epistemology using software models. We shall use the notion of algorithmic information to discuss what is a physical law, to determine the limits of the axiomatic method, and to analyze Darwin’s theory of evolution. Weyl, Leibniz, complexity and the principle of
متن کامل